Testsuite: Test for #7013. Closes #7013