Corrected Travis config