Added missing #include <typeinfo>