fixes #12114.