diff --git a/src/os.cc b/src/os.cc
index 11ea8162b53e..bca410e945e0 100644
--- a/src/os.cc
+++ b/src/os.cc
@@ -18,8 +18,8 @@
 #  include <sys/stat.h>
 #  include <sys/types.h>
 
-#  ifdef _WRS_KERNEL   //added VxWorks7 kernel support
-#    include <ioLib.h> // header file for getpagesize()
+#  ifdef _WRS_KERNEL   // VxWorks7 kernel
+#    include <ioLib.h> // getpagesize
 #  endif
 
 #  ifndef _WIN32