Some minor formatting (printing) changes in the L3 instruction set models.