Fix documentation of runtests