Is it correct that I create a port from fdes by one of fdes->*-port, then close the port, the underlying fdes isn't automatically closed?

I guess it's the case from the paragraph 5 of "3.2 I/O", but I feel it can be explicitly noted in fdes->*-port section.