Just a small code-style fix.
No idea