One more minor CSS change