Small typo (fix compilation)