Many minor tweaks for postscript output