Official bug fix for defs.asm.