Typo fix for compilation on Linux