#129 fix file formatting that was mangled by previous commitp