Failing test for issue #6424