fixes #12434 (stable7)

fixes #12434