diff --git a/lib/ExecutionEngine/ExecutionEngine.cpp b/lib/ExecutionEngine/ExecutionEngine.cpp
index 36582ee..bbddb95 100644
--- a/lib/ExecutionEngine/ExecutionEngine.cpp
+++ b/lib/ExecutionEngine/ExecutionEngine.cpp
@@ -242,16 +242,19 @@
      cerr << "Invalid type for third argument of main() supplied\n";
      abort();
    }
+   // FALLS THROUGH
   case 2:
    if (FTy->getParamType(1) != PPInt8Ty) {
      cerr << "Invalid type for second argument of main() supplied\n";
      abort();
    }
+   // FALLS THROUGH
   case 1:
    if (FTy->getParamType(0) != Type::Int32Ty) {
      cerr << "Invalid type for first argument of main() supplied\n";
      abort();
    }
+   // FALLS THROUGH
   case 0:
    if (FTy->getReturnType() != Type::Int32Ty &&
        FTy->getReturnType() != Type::VoidTy) {