--- utils/pdftohtml.cc	2010-01-17 03:06:57.000000000 +0300
+++ ../poppler/utils/pdftohtml.cc	2010-03-24 17:05:09.000000000 +0300
@@ -316,7 +316,7 @@ int main(int argc, char *argv[]) {
 
   if (htmlOut->isOk())
   {
-    doc->displayPages(htmlOut, firstPage, lastPage, 72, 72, 0,
+    doc->displayPages(htmlOut, firstPage, lastPage, static_cast<int>(72*scale), static_cast<int>(72*scale), 0,
 		      gTrue, gFalse, gFalse);
   	if (!xml)
 	{
@@ -336,7 +336,7 @@ int main(int argc, char *argv[]) {
     psOut = new PSOutputDev(psFileName->getCString(), doc->getXRef(),
 			    doc->getCatalog(), NULL, firstPage, lastPage, psModePS, w, h);
     psOut->setDisplayText(gFalse);
-    doc->displayPages(psOut, firstPage, lastPage, 72, 72, 0,
+    doc->displayPages(psOut, firstPage, lastPage, static_cast<int>(72*scale), static_cast<int>(72*scale), 0,
 		      gTrue, gFalse, gFalse);
     delete psOut;