Fix buffer overrun (or, well, actually a typo, 80 should be 0x80...).