Fix some bugs in Symbol Table implementations