Removed a debug trace in the auto-sealer.