diff --git a/src/misc/formater.hh b/src/misc/formater.hh
index 28f77bb75..41c8dff9d 100644
--- a/src/misc/formater.hh
+++ b/src/misc/formater.hh
@@ -29,9 +29,10 @@ namespace spot
   class printable
   {
   public:
-    ~printable()
+    virtual ~printable()
     {
     }
+
     virtual void
     print(std::ostream&, const char*) const = 0;
   };
@@ -112,6 +113,10 @@ namespace spot
       call_['%'] = call_[0] = &percent;
     }
 
+    virtual ~formater()
+    {
+    }
+
     /// Collect the %-sequences occurring in \a fmt.
     void
     prime(const char* fmt);