small change to documentation