minor CSS width change

oops