Minor fixes to OVFFile