type_traits: minor bit of internal doc.