Fixed minor typos found by Marc and Bruno