fixed a minor CSS bug