two small typos in the manual