Minor documentation style tweaks