diff --git a/contributors.txt b/contributors.txt
index 441f9675d..ebfee2365 100644
--- a/contributors.txt
+++ b/contributors.txt
@@ -208,3 +208,4 @@ YYYY/MM/DD, github id, Full name, email
 2018/11/12, vinoski, Steve Vinoski, vinoski@ieee.org
 2018/11/14, nxtstep, Adriaan (Arjan) Duz, codewithadriaan[et]gmail[dot]com
 2018/11/15, amykyta3, Alex Mykyta, amykyta3@users.noreply.github.com
+2018/11/29, hannemann-tamas, Ralf Hannemann-Tamas, ralf.ht@gmail.com
diff --git a/runtime/Cpp/runtime/src/tree/ParseTreeProperty.h b/runtime/Cpp/runtime/src/tree/ParseTreeProperty.h
index d3eb83554..8669a1046 100755
--- a/runtime/Cpp/runtime/src/tree/ParseTreeProperty.h
+++ b/runtime/Cpp/runtime/src/tree/ParseTreeProperty.h
@@ -29,6 +29,7 @@ namespace tree {
   template<typename V>
   class ANTLR4CPP_PUBLIC ParseTreeProperty {
   public:
+    virtual ~ParseTreeProperty() {}
     virtual V get(ParseTree *node) {
       return _annotations[node];
     }