Minor code style tweak