correction to libraries