fix double negative bug