Minor fix for issue #7. Updated example Vagrantfile