More conversion from 100 char lines to 80 char lines...