fixed a numbering mistake in the test suite