Small improvement of PR-17