Fix library numbering