Minor changes induced by improvements of Vyukov queue