Fixes #12719

stub