minor CSS change