diff --git a/common/file.c b/common/file.c
index c5e7efd3..1d347750 100644
--- a/common/file.c
+++ b/common/file.c
@@ -105,7 +105,7 @@ file_read_line(struct stream* s, char* text)
   in_uint8(s, c);
   while (c != 10 && c != 13)
   {
-    if (c == '#' || c == '!')
+    if (c == '#' || c == '!' || c == ';')
     {
       skip_to_end = 1;
     }