Re: possible bug in redisplay