Fixed small bug in unused library