fix for #10005

It fixed the problem for me. But I don't know if it is a proper solution.