I would re-indent the file more aggressively, but it is OK to leave as-is.