small cosmetic fixes for user documentation