Fixes #6941