Bug fix in converting symbols