Ran auto-indent script, it made super-minor changes.