--- formatting.php	2010-07-30 20:10:09.000000000 -0400
+++ formatting2.php	2010-07-30 20:11:06.000000000 -0400
@@ -1424,7 +1424,7 @@
 		return '';
 	}
 
-	$siteurl = get_option( 'siteurl' );
+	$siteurl = site_url();
 
 	$smiley = trim(reset($smiley));
 	$img = $wpsmiliestrans[$smiley];