Some fixes, and new unpublicized docs