Fix bad travis line