fixed vbox port mapping in documentation