minor style changes to documentation