Fixed a small bug in one of the tests (no change to any other code).