documentation and runtests fixes