slight update of the PR listing