Mini PDF fixes. Fix #17