Corrected Travis-CI