Cosmetic corrections to user guide.