Fix Juno compilation caused by invariant checker code.