Fix travis error (no influence on tests)