Fix an error in the documentation example