diff -r f6fe14eb51bc -r aa71c04f5832 src/cm/converters/abi_converters.py
--- a/src/cm/converters/abi_converters.py	Fri Aug 05 17:12:15 2011 +0200
+++ b/src/cm/converters/abi_converters.py	Thu Sep 08 15:14:25 2011 +0200
@@ -186,8 +186,8 @@
               img_res.append(os.path.join(outdir_name + '/' + THE_OUTFILE + '_files', image_name))
 
             # clean images paths
-            output = re.sub(r'<img(.+src=")outfile_files/([^"]+")', r'<img\1\2', output);
-            output = re.sub(r'<img(.+)style="width:[\d\.]+mm"', r'<img\1', output);
+            output = re.sub(r'<img(.+src=")outfile_files/([^"]+")', r'<img\1\2', output)
+            output = re.sub(r'<img(.+)style="width:[\d\.]+mm"', r'<img\1', output)
           return output,img_res
 
         finally: