fixing up symbol resolution