Fix missing symbol