Fixing a typo in the user guide.