Correction

A headline in Friday’s edition should have stated Sherando wrestler John Borst set a season pins record.