Fix part of the documentation about modules.