correction to the documentation (almost all the documentation is within 80 columns now)