Fixes #6822