Fixed a typo that made Double unpickling fail