Remove the ballcock assembaly and check for any debris inside & condition of the rubber seal, clean out & refit, if it still leaks by then replace with a new one (available from many places). The leaking header tank shouldn't cause the machine to shut down unless water is getting into the wiring or the pump is running so much that it flatens the battery