Notch50Or60: comment showing how to default to 50 Hz