Looks like a line width of 130 characters is what we need.