Explicitly mention in RETURN VALUES that socket() sets