Fixed type in comment in Strings.php