adding coverage information if coverage is installed
fixing a few bugs