Minor changes for rlwrap
Add PDF