bugfix for symbolTable