diff --git a/tests/getlemmas.cpp b/tests/getlemmas.cpp
index fc3cb893cc3c6fefaad0bf41e2e0b2f053b1cc91..3c92eb2967fe76579a0cb7d1185a3cf2d3638138 100644
--- a/tests/getlemmas.cpp
+++ b/tests/getlemmas.cpp
@@ -8,7 +8,7 @@
 
 using namespace Wccl;
 
-BOOST_AUTO_TEST_SUITE(relative_position)
+BOOST_AUTO_TEST_SUITE(get_lemmas)
 
 struct LemmasPredFix
 {
@@ -88,7 +88,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_nowhere, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_begin, LemmasPredFix)
@@ -99,7 +98,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_begin, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(first_lemmas));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_end, LemmasPredFix)
@@ -110,7 +108,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_end, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(second_lemmas));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_zero, LemmasPredFix)
@@ -121,7 +118,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_zero, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(second_lemmas));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_one, LemmasPredFix)
@@ -132,7 +128,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_one, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_minus_one, LemmasPredFix)
@@ -143,7 +138,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_minus_one, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(first_lemmas));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 //------ to_string test cases -------