style fix for symbol table