bug fix in the tester, additions to the docs