Some miscellaneous changes and documentation