Fix a mistranslated conditional in the docs