In their argument, a type-I superconductor had positive free energy of the superconductor-normal metal boundary.
During their discussion, a type-I superconductor exhibited positive free energy at its interface with an ordinary metal.