More cosmetic updates to documentation