diff --git a/src/plugins/view/htmlrenderer.py b/src/plugins/view/htmlrenderer.py
index e5499c2f5..2bf30c99d 100644
--- a/src/plugins/view/htmlrenderer.py
+++ b/src/plugins/view/htmlrenderer.py
@@ -51,6 +51,7 @@ import gtk
#-------------------------------------------------------------------------
from gui.views.pageview import PageView
import Utils
+import constfunc
import config
from const import TEMP_DIR
@@ -61,11 +62,11 @@ from const import TEMP_DIR
#-------------------------------------------------------------------------
def get_identity():
- if Utils.lin():
+ if constfunc.lin():
platform = "X11"
- elif Utils.win():
+ elif constfunc.win():
platform = "Windows"
- elif Utils.mac():
+ elif constfunc.mac():
platform = "Macintosh"
else:
platform = "Unknown"