Fixed a test for bug #7931.