[FIXED JENKINS-18025] Noting PR #763.