fixes #7163