Correctly trigger the issue reported on #8196.