fixup: code style

Enjoy, Tom!