Correct domain in Vagrant config comment
Merge pull request #1895 from openjck/vagrant-comment-domain

Correct domain in Vagrant config comment