#5491: clarify nested() semantics.
1 file changed