Minor changes

Fixed a piece of documentation, added some finals