Minor mods to the user's guide