Fix some syntaxes