#6: save_pdf() rewritten.