Fix to get Travis-CI passing (hopefully)