Small fixes in PDA