I would add a comment explaining why we want that.