Re: a module system bug