Minor style fix in docs