another trivial CSS fix