re fix hotpatch