add missing port in vagrant doc