minor updates to pdf, also removed a random segfault