Bugfix: typo in JENKINS-OUTPUT-64