Fixed bug in antiadd