additions to strings.jl