Oil slips from 9-month high with markets in risk-off mode