fix dumb syntax error