Slight update to our documentation following our work on #167.