diff --git a/src/ChangeLog b/src/ChangeLog
index cca209b29..5dc19fd33 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2001-10-20  Pavel Roskin  <proski@gnu.org>
+
+	* main.h (print_vfs_message): Specify __attribute__.
+
 2001-10-19  Pavel Roskin  <proski@gnu.org>
 
 	* global.h: Define __attribute__ to an empty string for non-gcc
diff --git a/src/main.h b/src/main.h
index 3d33a5904..881fad5b6 100644
--- a/src/main.h
+++ b/src/main.h
@@ -166,7 +166,8 @@ void untouch_bar    (void);
 void touch_bar      (void);
 void load_hint      (void);
 
-void print_vfs_message(char *msg, ...);
+void print_vfs_message(char *msg, ...)
+    __attribute__ ((format (printf, 1, 2)));
 
 void edit_user_menu_cmd (void);