Is that "notch" a removable key for the pulley?