Data.String: there is insufficient pattern(\r) in wrap()