bugfix in lib