Corrected typos found by Mathieu, 2