Maybe fix the failure on Jenkins CI