A small tweak to the test for bug #8356.
This fixes #8359.