small changes in the library, and fixed a typo