fixes #8957