It seems like ci.typo3.org have a problem today. Your patch looks ok. I remove the -1 from Mr. Jenkins and IMHO you can go and merge your change. Kind regards Stefano