fixed bug: added a library