Tidy syntax in Vagrantfile

Change-Id: Ie56e0c4ef3a3e9a6bb7dd600ece6515b114be265