-- Added support for coverage