Typo fix for compilation with gcc