Fix an extremely annoying bug that made pickling impossible.
Fix an extremely annoying bug that made pickling impossible.

flurischt/jedi,dwillmer/jedi,flurischt/jedi,dwillmer/jedi,jonashaag/jedi,WoLpH/jedi,WoLpH/jedi,tjwei/jedi,mfussenegger/jedi,tjwei/jedi,mfussenegger/jedi,jonashaag/jedi