fix a mistake in CSS