--- a/src/internet/model/tcp-socket-base.cc	Thu Nov 14 16:57:49 2013 -0800
+++ b/src/internet/model/tcp-socket-base.cc	Thu Nov 14 16:58:28 2013 -0800
@@ -54,7 +54,8 @@
 
 namespace ns3 {
 
-NS_OBJECT_ENSURE_REGISTERED (TcpSocketBase);
+NS_OBJECT_ENSURE_REGISTERED (TcpSocketBase)
+  ;
 
 TypeId
 TcpSocketBase::GetTypeId (void)