Re: widl: fix a compiler error