Correcting library spec