fixed errors with definitions of codim and overfull hbox