Fixed bad travis file