--- a/src/wimax/model/cid-factory.cc	Tue Jun 11 16:48:13 2013 -0700
+++ b/src/wimax/model/cid-factory.cc	Tue Jun 11 17:02:23 2013 -0700
@@ -118,7 +118,7 @@
 void
 CidFactory::FreeCid (Cid cid)
 {
-  // TODO:We need to update the cid bitmap properly here.
+  /// \todo We need to update the cid bitmap properly here.
   NS_FATAL_ERROR ("TODO: Update the cid bitmap properly here-- please implement and contribute a patch");
 }