fixed JSON generation of libraryList