Minor tweak to documentation.