Reformatted; all lines fit in 80 columns.