Re: incompatible type (possibly) bug report