[#2003] fix missing symbol