Add support for coverage; More documentation