Data.String: trivial typofix in comment