Small code style tweak