small change to tinyvm