pldi fixes