Fix bug in use_travis