Formatted the source using GNU Indent (running on Android, ha-ha)