small fixes in documentation and sandbox_getaddrinfo()