benchmark doc fix

Sorry for this little pull request, but this had lead me to errors many times.