Fix typos in manual