Trivial style tweak