Correction

A story published Wednesday should have said Shenandoah County has 667 people — employees and their dependents — covered by the local health insurance provider.