fix bug related to last change in library