fixes #7583