minor changes in the library