Fix hotpatching