Fix: pocket-jsicp.pdf was broken.