Add missing symbol to documentation