Minor tweak to documentation