diff --git a/pub/libvex_guest_x86.h b/pub/libvex_guest_x86.h
index c6e67a7..b94e58d 100644
--- a/pub/libvex_guest_x86.h
+++ b/pub/libvex_guest_x86.h
@@ -133,7 +133,7 @@
 UInt vex_to_eflags ( /*IN*/VexGuestX86State* vex_state );
 
 extern
-void vex_initialise_x87 ( /*MOD*/VexGuestX86State* vex_state );
+void vex_initialise_x87 ( /* MOD*/VexGuestX86State* vex_state );
 
 #endif /* ndef __LIBVEX_PUB_GUEST_X86_H */