Minor improvements to the .ova script.