more cosmetic mods to the user guide.