Tiny code style tweak.