Updated a few things in documentation.