Fix default width not being 80, but 77.