Checking in recent bug fixes and documentation