On the overlap formulation of chiral gauge theory