#22613: minor other fixes in library docs (thanks Jacques Ducasse)
3 files changed