fixes #8892