correct Travis script