Clean-up of SemanticMediaWiki.php