Fix for a syntax error