Clean up getSymbolTable a bit more
Fix warning