diff --git a/lang/pc/libpc/head_pc.e b/lang/pc/libpc/head_pc.e
index 1099b03aa..ffe9989fe 100644
--- a/lang/pc/libpc/head_pc.e
+++ b/lang/pc/libpc/head_pc.e
@@ -1,2 +1,3 @@
 #
+; $Header$
  mes 2,EM_WSIZE,EM_PSIZE