Fix badfrag.8 example, apparently copied from dumpi.8 and not updated.