Fix typo in /hotpatch.