Line length of 80

(A certain archaic language apparently limits the length of lines...)