forgot to remove a comment
fix a symbol table bug