some other improvements in pdf backend