corrections in lib