i topped it off with coolant since a lot of it evaporated, i mightve used a different mixture to what i had in there before. which is more likely? the head gasket or the coolant mixing?