Fix documented file formats, bug 731679