diff --git a/web.py b/web.py
index d2b0e53..2574bf2 100644
--- a/web.py
+++ b/web.py
@@ -42,7 +42,7 @@ GITOLITE_HTTP_HOME = os.environ.get('GITOLITE_HTTP_HOME')
 INSTANCE_DOMAIN = os.environ.get('INSTANCE_DOMAIN')
 
 # How many commits to show in the log page
-LOG_PAGINATION = os.environ.get('LOG_PAGINATION')
+LOG_PAGINATION = int(os.environ.get('LOG_PAGINATION'))
 
 # Enable +/- file stats in the log page. Can be disabled for performance, since
 # computing diffstat on many commits for big repos could take too long.