Fix some minor bugs about vagrant configs