Some word replaced, mainly to deal with big hbox overflows.