Slight tweak to Vagrantfile formatting