Add a missing symbol