fix add's post-condition bug