Git fix for Travis-CI