Update the docs, you no longer need to download the box file because vagrant up will do this automatically.