fix bug in hax.md