Remove ECF debug cout; reindent