An embarrassing syntax error