Fix for some typos in User's Guide