Update library.rst