fixed a typo in library.txt