Minor documentation and other tweaks.