Another dispatcher fix for allowmodules