And a last fix for githubs mediawiki parser.