More fixes to docker-vagrant article