Try to fix mochacov.