Removed extr <p> in pretty_type_x