Fixing PHPFormatterFormatter