Bugfix on NSCoding