Minor tweaks regarding printing.