fixes #10135.