Improved layout: it overfull pages don't look as bad now; widecheck that works --- finally!