Fix a small syntax error