Fix an oversight when we closed #942:  The exact same condition
can happen if we gunzip on fetch.