Deleted erroneous coverage directory.