Revert change in the VagrantfileRenderer