Changing a head gasket.

Look for signs of leakage on the head gasket in that area. If nothing found? Don't worry about it. Replace with new head gasket and move on.