Fixing a problem of incompatibility with MinifyHelper.php