Fix pesky 78-chars-when-should-have-been-80 banners.