diff -r abc1d1caead7 -r d461b1f07296 master/globals.h
--- a/master/globals.h	Fri Nov 30 15:24:38 2012 +0100
+++ b/master/globals.h	Fri Nov 30 20:15:31 2012 +0100
@@ -200,11 +200,10 @@
  */
 typedef enum {
     EC_DEVICE_MAIN, /**< Main device. */
-    EC_DEVICE_BACKUP, /**< Backup device */
-    EC_NUM_DEVICES /**< Number of devices. */
+    EC_DEVICE_BACKUP /**< Backup device */
 } ec_device_index_t;
 
-extern const char *ec_device_names[EC_NUM_DEVICES];
+extern const char *ec_device_names[2]; // only main and backup!
 
 /*****************************************************************************/