fix what looks to be a copy-paste error or typo, caused pickle error