add missing symbol