Master doc fix

Small addition for Vagrant+Synthesize documentation.