Re: bug in makewhatis?