Minor non-semantic change according to the pull request comments of
kutzi, daniel-beck and jglick
(http://github.com/jenkinsci/jenkins/pull/1408).