Corrected Travis configuration