Work around new Maruku bug.