Oops, remove an old wrong comment.