typing mistake in [[:MediaWiki:Pickle-adapt-catched-exception/en]]