Fixing very minor bug in ELF loader