           if (dctime < MinDClickTime)
             dctime = MinDClickTime;
 #if (DEBUG & DEBUG_ACT)
-          Serial.printf(F("doubleclick_action: vfo_RLeft, after dctime=%d\n"), dctime);
+          Serial.printf("doubleclick_action: vfo_RLeft, after dctime=%d\n", dctime);
 #endif
           break;
         case vfo_RRight:


  // get state back from EEPROM, set display brightness/contrast
  restore_from_eeprom();
  analogWrite(mc_Brightness, 0);    // display off while initializing
  analogWrite(mc_Contrast, LcdContrast);

  // create underlined space for frequency display
  lcd.createChar(SpaceChar, sel_digits[SpaceIndex]);

/* restart the Teensy, without invoking bootloader. */
void restart(void)
{
  Serial.print("Restarting ...");
  delay(500);
  WRITE_RESTART(0x5FA0004);  
}
