formats.c: Minor Jumbo-specific bugs fixed.