diff --git a/builds/progpilot_dev20180512-212746.phar b/builds/progpilot_dev20180513-195151.phar
similarity index 98%
rename from builds/progpilot_dev20180512-212746.phar
rename to builds/progpilot_dev20180513-195151.phar
index 55168bac..021cfa44 100755
Binary files a/builds/progpilot_dev20180512-212746.phar and b/builds/progpilot_dev20180513-195151.phar differ
diff --git a/doc/CUSTOM_ANALYSIS.md b/doc/CUSTOM_ANALYSIS.md
index 8e8387fc..219012d5 100755
--- a/doc/CUSTOM_ANALYSIS.md
+++ b/doc/CUSTOM_ANALYSIS.md
@@ -2,7 +2,7 @@
 
 In addition to [**specify an analysis**](./SPECIFY_ANALYSIS.md) you can customize in depth an analysis.
 
-## Model checking
+## Call graph checking
 
 You could check that your program meets a given specification. For example this rule will traverse the call graph (only from the main function) of a program to verify if a user is authenticated and has rights before retrieving a secret.