fix show_typename()