Changed library.py a little bit