Corrected bug in symbol matching