Fix for failing Jenkins