bug in symbol parsing