Got rid of a superfluous CSS class (I think)