hexedit: Update (fix issue #18).