minor CSS bugfix