Indeed, if you search for "HP48GP", you'll find a few sites offering the ROM in a file named hp48gp.zip. I suspect that's the source of the mistake.