minor: correct funky indentation, i.e., used emacs's M-x untabify