fix VMHC writeout problems