Another style tweak