Use "SMT Kit" as human-readable string