some typos (thanks, Elias)