Fix for TravisCI