Fixing a bug from Vagrant 1.5