--- a/src/core/model/wall-clock-synchronizer.cc	Wed Jul 03 21:43:05 2013 +0200
+++ b/src/core/model/wall-clock-synchronizer.cc	Wed Jul 03 14:43:10 2013 -0700
@@ -203,7 +203,7 @@
 // I'm not really sure about this number -- a boss of mine once said, "pick
 // a number and it'll be wrong."  But this works for now.
 //
-// XXX BUGBUG Hardcoded tunable parameter below.
+// \todo Hardcoded tunable parameter below.
 //
   if (numberJiffies > 3)
     {