Fixed MediaWiki formatting mistake.