document PR #5