Data.String: fix document