Fixing serialization of SourceInfo