On the Chemical Free Energy of the Electrical Double Layer