Fixing Vagrant plugin