minor style fix in doc