some very minor changes in css