code-coverage, better doc, minor fixes