Oops. Cut and paste error in the docs