Fix a doc comment mismatch