In #10310 I make it in this way.