Fix bug in Travis script.