Minor tweak in documentation