Some improvements for Misc.String