minor CSS bug