Fix syntax error that snuck in