Fix typo (after submission)