/close #186

This is the reason why the errors for #107 were not reported.
Still, this does not fix pushing to MediaWiki, as the problem is on the
wiki side.