minor changes to StaplPDPTest