auto-formatted some grammar files