Bugfix for bad symbol lookup