Data.String: fix doc