Another tweak to the module docs.