Totally agreed, I thought this was caught by the auto-formatter, but alas...

Fixed it manually.