fixes #8864