bugfix in AVX2 selection