fixed a tiny syntax error