fixes #8216