fixup to code formatting in old post