bugfix: change 0xa000 tag name (#38)