Typos in users' guide