Fix issue #896

Right now Jenkins nags about every PR, because of issue #896, which makes the CI integration kinda futile …