var mode_list = mode.split(',');
if (mode_list[0] == "raw") {
outputCheckbox(document, "updateCompressed(this)",
- " Compressed", mode_list[5] == "yes");
+ " Compressed", mode_list[5] == "gz");
outputCheckbox(document, "updateDTDPatched(this)",
" Resolve DTD URL", mode_list[6] == "yes");
} else {