I see. Let's add a comment describing it.