properly re-indent a couple of files. Fix #356