fix missing symbol