Fix some weird behavior that might be breaking vextab.