Fix Vagrant file references box