reformat

(argh my karma-destroying rewrite was not correct)