bug fix in libraries