Fix some syntax definitions