Fixed a few documentation things