Small tweaks and printer-friendly versions a .pdf and an .odt