another typo in library.txt