fixes #11203