Minor tweak to user guide.