Fix issue #39, at least on the core-avx2 machine.