Documentation, minor tweaks.