diff --git a/devel_generate/image.devel_generate.inc b/devel_generate/image.devel_generate.inc
index faa9a1d..b5f1b2d 100644
--- a/devel_generate/image.devel_generate.inc
+++ b/devel_generate/image.devel_generate.inc
@@ -75,8 +75,8 @@ function devel_generate_image($extension = 'png', $min_resolution, $max_resoluti
     $min = explode('x', $min_resolution);
     $max = explode('x', $max_resolution);
 
-    $width = rand((int)$min[0], (int)$max[0]);
-    $height = rand((int)$min[1], (int)$max[1]);
+    $width = rand((int) $min[0], (int) $max[0]);
+    $height = rand((int) $min[1], (int) $max[1]);
 
     // Make an image split into 4 sections with random colors.
     $im = imagecreate($width, $height);