Fix tiny syntax error