minor CSS fix