Remove a spurious ``` from HACK.md