Fix some syntax errors in previous commit