Minor AVX edits.