small change to fix test on jenkins