Ruminations and other minor tweaks.