Minor fix for Vagrant+Syntesize docs, backport pull request 844 to 0.9.x.

Small addition for Vagrant+Synthesize documentation.