add doc, make coverage work again