Fixed a naming error in lib1