The sensor is in the side of the tank. Unless it's defective, then the only thing that can cause it to trigger is low coolant level. I think your diagnosis if a small crack in the header tank is probably on target.