slight CSS tweak