[travis] minor