a little prog solver cleanup