fix intern-symbol