Fix a vboxmanage option.