Code style tweak