small glitch fixed in std::cerr call (Patch from Vaio)
fixed call of deleted pointer in std::map (patch from Vaio)
fixed possible dereference of null pointer (patch from Vaio)
wrong format string (patch from Vaio)