A small test fix for bug #8249.