Doc intro and libraries typos

Some minor typos in documentation.