Fixed a few documentation bugs