Minor tweaks and documentation.