Fix copy/paste mistake at top of Vagrantfile