diff --git a/CMakeLists.txt b/CMakeLists.txt
index a3b0162a0ba558c6cfb96dfc7a0ee4899c87275a..1b8f7bb25e20e8f5c0cff9dd035099f934ed51b9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -46,16 +46,9 @@ add_library(sylvan
     tls.h
 )
 
-set_target_properties(sylvan PROPERTIES
-  CXX_STANDARD 14
-  CXX_STANDARD_REQUIRED YES
-  CXX_EXTENSIONS NO
-)
-
 target_link_libraries(sylvan -lpthread)
 target_link_libraries(sylvan -lgmp)
 
 if(UNIX AND NOT APPLE)
     target_link_libraries(sylvan rt)
 endif()
-
diff --git a/sylvan_ldd.c b/sylvan_ldd.c
index ffbe08a53055474d2b9e4970629fbe441aa5466f..7e82953bc03843a04e3b43bd22db433cb5c072cf 100755
--- a/sylvan_ldd.c
+++ b/sylvan_ldd.c
@@ -3078,13 +3078,13 @@ void llmsset_destroy_unmarked_seq( llmsset_t dbs)
 void sylvan_gc_seq()
 {
     if (g_created>llmsset_get_size(nodes)/2)
-    {
-    	g_created=seq_llmsset_count_marked(nodes);
+    {   	
         cache_clear();
         llmsset_clear_data_seq(nodes);
         ldd_gc_mark_protected();
         llmsset_destroy_unmarked_seq(nodes);
         sylvan_rehash_all_seq();
+        g_created=seq_llmsset_count_marked(nodes);
     }
 }