minor fix to elf printer