Make symbol table spec more robust.