Fix vagrant docs