minor CSS tweak