Revokes: Make sure heap does not contain duplicates.  Closes #2336