Code style tweak.