Bug in vex prefix.