providers/virtualbox: style nitpick