type/traits: minor