Maybe this fixes travis?