Tiny adjustment around the previous redisplay change.