Bug fixes in pdf2ps