diff --git a/src/machine-vuln1.c b/src/machine-vuln1.c
index fd7f2565ff5d24ac5f487b46061f5a5b0e340453..9a171dc5bcae2b21e95734fdcba012129c9c7bef 100644
--- a/src/machine-vuln1.c
+++ b/src/machine-vuln1.c
@@ -215,7 +215,7 @@ unsigned int tokenise(char *str, char * toks[], unsigned int toksLen){
 
 
 #define MAX_LINE_LENGTH  1022
-#define MAX_INSTRUCTIONS 65536
+#define MAX_INSTRUCTIONS 65536*2
 
 /* two extra chars in each line: the newline '\n' and NUL '\0' */
 #define INSTRUCTION_LENGTH (MAX_LINE_LENGTH+2)
@@ -438,7 +438,7 @@ static int read_program(const char *filename){
   memset(program,0,sizeof(program));
 
   int instructionCount = 0;
-  while (instructionCount < 2*MAX_INSTRUCTIONS){
+  while (instructionCount < MAX_INSTRUCTIONS){
     /*VULN*/
     char * res = fgets(program[instructionCount],MAX_LINE_LENGTH+2,f);
     if (res == NULL){