Fix a bad overfull hbox