Correct another error in documentation