[travis] Minor