Fixed a broken library