minor CSS bug fix