Fix Vagrantfile comment