Fixup some syntax errors