ELF.objdump(): trivial fix