This should not be needed as string.lib.php already does this.