reformatted to ~80 chars/row, converted all indentation to spaces