Minor documentation style fix