The wages of pedantry is pain.