I wouldn't bother changing it personally. It's a style issue that the style guide doesn't say anything about, and it isn't unconventional in this codebase. If it bothers you though, go for it!