[FIX] fluke in modules70-80.rst