Generic formatting comments (for this file and for others):
- Use spaces (indent 4), not tabs
- Fix the line endings to LF
- Delete these big blocks of blank lines (like lines 383–391 here)