Do correct coverage calculations.
Fix slack integration.