Issue #153. Small fix to the WukongVM.h