Fix broken Eagle widget numbering from check-in [1720eb4c52661ce7].