libraryName added to serialized JSON.