Some adjustments in the examples of Vagrant and Provy