Fixed some docs, mainly the `lib` section.