diff --git a/src/util/vector.h b/src/util/vector.h
index 43a4e8921..d684f43eb 100644
--- a/src/util/vector.h
+++ b/src/util/vector.h
@@ -559,8 +559,7 @@ public:
         for(; pos != e; ++pos, ++prev) {
             *prev = std::move(*pos);
         }
-        reinterpret_cast<SZ *>(m_data)[SIZE_IDX]--;
-        // TODO: where is the destructor called?
+        pop_back();
     }
 
     void erase(T const & elem) {