diff --git a/includes/EditPage.php b/includes/EditPage.php
index d8a0d19d8f7..8c2f3bdf293 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -496,7 +496,7 @@ class EditPage {
 				$wgOut->addWikiText( wfMsg( 'nonunicodebrowser') );
 			}
 			if ( isset( $this->mArticle )
-			     && isset( $this->mArticle->mRevision
+			     && isset( $this->mArticle->mRevision )
 			     && !$this->mArticle->mRevision->isCurrent() ) {
 				$this->mArticle->setOldSubtitle();
 				$wgOut->addWikiText( wfMsg( 'editingold' ) );