changed Strings.map signature