Fix whitespace weirdness in Vagrantfile