Comment by rwissmann

Fairly sure that is indeed a typo, in particular given how F+ is introduced a few lines above.