Fix documentation of serve_port