Minor printing tweaks