More documentation
Minor doc fixes