Fixed a couple of minor things
[[ UnicodeFileFormat ]] Make objects picklable in 7.0 format