better coverage for the documentation module