small fix for jenkins