Re: assertion failed; looks like a bug