The documentation is incorrect because the control flow is in the innermost module and that is not the one for which code is being printed. I have had a PR 2 up to fix this for a while but couldn’t get a review for a while and I haven’t merged it since it’s been accepted. I will get this merged today.