Fix for Travis-CI.