bugfix concerning mediawiki api