Correction for Travis

Correction for Travis