Fix variable name in an example in the documentation