--- SplashOutputDev-orig.cc	2014-08-02 13:38:51.000000000 -0400
+++ SplashOutputDev.cc	2014-08-02 13:39:09.000000000 -0400
@@ -2694,11 +2694,9 @@
 
   splash->fillImageMask(&imageMaskSrc, &imgMaskData, width, height, mat, t3GlyphStack != NULL);
   if (inlineImg) {
-    if (inlineImg) {
-      while (imgMaskData.y < height) {
-        imgMaskData.imgStr->getLine();
-        ++imgMaskData.y;
-      }
+    while (imgMaskData.y < height) {
+      imgMaskData.imgStr->getLine();
+      ++imgMaskData.y;
     }
   }