minor format changes in the Quine