fixed a few mediawiki tags I'd missed