Fixes #7571