cosmetic improvements on documentation