Bug in string_functions.php korrigiert