quick fix for a syntax error