Small fix for an incorrect test

[fasmat]

The setup for this test is incorrect (wrong number of labels used for verification). By coincidence it still works, but should be fixed.