yet another indenting tweak, refs #78, #84