fix the final overfull hboxes in the prototype code