Small modifications due to changes in the auto-indenter.