fix vagrant and docs