Vmtrace bug fix

Yes. It is done quite often throughout the whole codebase. Just search for "ExtVM".