diff --git a/TODO b/TODO
index ae0d53d9..72ab6949 100644
--- a/TODO
+++ b/TODO
@@ -14,7 +14,6 @@ Core
 - Makefile: install target?
 
 - forgetting device routes???
-- kernel syncer doesn't support reconfiguration
 - filter-defined internal attributes
 - netlink: realms
 
diff --git a/nest/proto.c b/nest/proto.c
index 7b9821af..dab40a6c 100644
--- a/nest/proto.c
+++ b/nest/proto.c
@@ -193,7 +193,7 @@ proto_init(struct proto_config *c)
   q->core_state = FS_HUNGRY;
   proto_enqueue(&initial_proto_list, q);
   add_tail(&proto_list, &q->glob_node);
-  PD(q, "Initializing");
+  PD(q, "Initializing%s", q->disabled ? " [disabled]" : "");
   return q;
 }