Even more 100 char to 80 char line conversion...