Fix for syntax error caught by clang