fixes #8014