Fix travis

Following #1
I fixed the travis problem