diff -r ba324d82dfd3 -r 26023e414f5c master/ethernet.c
--- a/master/ethernet.c	Tue Jul 25 10:03:13 2006 +0000
+++ b/master/ethernet.c	Tue Jul 25 10:04:51 2006 +0000
@@ -155,7 +155,7 @@
 
 void ec_eoe_clear(ec_eoe_t *eoe /**< EoE handler */)
 {
-    if (eoe->dev) {
+    if (eoe->dev) { // TODO: dev never NULL?
         unregister_netdev(eoe->dev);
         free_netdev(eoe->dev);
     }