test for issue 8931

this is another pull request originating from #9142