fix an 80-col line.