Fix ticket #10036.