Update string_traits.hpp