Yes indeed, quite right!

0xA000 is the memory _segment_ and so the linear address is 0xA0000

I think I would have got this right first time ~20 years ago: ftp://ftp.scene.org/mirrors/hornet/code/3d/systems/gsescher.zip :)