VM: adding a few forgotten .untagged() calls