reformat
documentation generation: coverage fix