fix an error in the documentation