Re: funny user moment (and perhaps a bug)