Fixing NormalizeFormatter.php for PHP 5.2