Fixed the typos pointed out by Henri.