fixes #11071