Turn off debug, Khovanov->Khovanova