Fix typos in the user-guide