fix for jenkins issue #2