I would add a comment explaining why we do that.