fixed a double negative in the doc