fix test case for bug 9713

Fix up for #1746.