fixed a possible memory leak when dealing with the symbols table