Agreed, but this pull request is mostly about fixing formatting.