diff --git a/bugs b/bugs
index db1d7e25..b58e1e53 100644
--- a/bugs
+++ b/bugs
@@ -3458,6 +3458,10 @@ patch = [[
 }
 
 
+
+-----------------------------------------------------------------
+-- Lua 5.3.1
+
 Bug{
 what = [['io.lines' does not check maximum number of options]],
 report = [[Patrick Donnell, 2015/07/10]],