Minor fix for Vagrant+Syntesize docs
Merge pull request #845 from deniszh/0.9.x_doc_fix

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