Removed a tag used in debugging (resolve (symbol)) in the core file