diff --git a/src/Adapter/Console.php b/src/Adapter/Console.php
index 4accd75..18f54e3 100644
--- a/src/Adapter/Console.php
+++ b/src/Adapter/Console.php
@@ -209,7 +209,7 @@ public function getOutputStream()
      */
     public function setWidth($width = null)
     {
-        if ($width === null || !is_integer($width)) {
+        if ($width === null || !is_int($width)) {
             if (substr(PHP_OS, 0, 3) === 'WIN') {
                 // We have to default to 79 on windows, because the windows
                 // terminal always has a fixed width of 80 characters and the