very minor changes in css