Cleaned up coverage annotations.