fix a bit of misdocumentation in an example