Revising the library and documentation