Fixing typos pointed out by Matei