Recently, the technique of defect correction for the refinement of discrete solutions to elliptic boundary value problems has gained new acceptance in connection with the multigrid approach. In the present paper we give an analysis of a specific application, namely to finite-difference analogues of the Dirichlet problem for Helmholtz's equation, emphasizing the case of nonrectangular domains. A quantitative convergence proof is presented for a class of convex polygonal domains.