diff --git a/app.php b/app.php
index 286e9ff07..7c2d82758 100644
--- a/app.php
+++ b/app.php
@@ -558,7 +558,7 @@ EOD;
 		elseif ( isset( $_SERVER['HTTP_TITLE'] ) )
 			$slug = sanitize_file_name( $_SERVER['HTTP_TITLE'] );
 		elseif ( empty( $slug ) ) // just make a random name
-			$slug = substr( md5( uniqid( microtime() ) ), 0, 7);;
+			$slug = substr( md5( uniqid( microtime() ) ), 0, 7);
 		$ext = preg_replace( '|.*/([a-z]+)|', '$1', $_SERVER['CONTENT_TYPE'] );
 		$slug = "$slug.$ext";
 		$file = wp_upload_bits( $slug, NULL, $bits);
diff --git a/wp-includes/feed.php b/wp-includes/feed.php
index 125ae7766..501bc8177 100644
--- a/wp-includes/feed.php
+++ b/wp-includes/feed.php
@@ -95,7 +95,7 @@ function comment_text_rss() {
 
 
 function comments_rss_link($link_text = 'Comments RSS', $commentsrssfilename = 'nolongerused') {
-	$url = get_post_comments_feed_link();;
+	$url = get_post_comments_feed_link();
 	echo "<a href='$url'>$link_text</a>";
 }