Minor changes and tweaks; updates to documentation.