Minor updates to RuleDumpPR