Can you please add a comment which clarifies why we do that?