--- a/src/wifi/model/wifi-information-element-vector.cc	Tue Jun 11 16:48:13 2013 -0700
+++ b/src/wifi/model/wifi-information-element-vector.cc	Tue Jun 11 17:02:23 2013 -0700
@@ -106,7 +106,7 @@
 void
 WifiInformationElementVector::Print (std::ostream & os) const
 {
-  //TODO
+  /// \todo
 }
 void
 WifiInformationElementVector::SetMaxSize (uint16_t size)