MediaWiki:Double-redirect-fixed-maintenance

Fixing double redirect from $1 to $2.