small fix to documentation