Changes to documentation. readthedocs.org should reflect some of these changes