Another style tweak.