Update string.hxx