Some minor document style tweaks