another minor CSS fix