[JENKINS-9843] Forgot to record what problem this was fixing.