try to fix issue #12051