Correct.

I assumed sven just followed the existing "style" so it's OK. "Fixing" all of that could be a separate PR, but it's not crucial.