Corrected library