diff --git a/html/index.php b/html/index.php
index e0fec91d6f742ca9204fe8e19c3eae309f8d9b14..8e5246b768bcc908694d08d906760a57d5200e4e 100644
--- a/html/index.php
+++ b/html/index.php
@@ -57,7 +57,7 @@ if (isset($_REQUEST['signout']) && $_REQUEST['signout']) {
       phpCAS::client(
         CAS_VERSION_2_0,
         $config->get_cfg_value('casHost', 'localhost'),
-        $config->get_cfg_value('casPort', '443'),
+        (int) $config->get_cfg_value('casPort', '443'),
         $config->get_cfg_value('casContext', '')
       );
       // Set the CA certificate that is the issuer of the cert