It is possible this is fixed now, it certainly was the case when I added it a few months back. I can't remember now exactly how to repro this. Perhaps you need a module in its own file rather than an inline one. I'll try to make a test case and file an issue. I'll either remove this code, or change it to a FIXME.