Tweaking newlines in PDF output