Fixed the typo pointed out by Matei.