pdf: removing dead code