Minor changes in library