reformatted for 80 columns