Fixed bug in vex.mmmmm prefix.