fix errors in description of add_and_negate