Correct the documentation