minor changes in library