Fix doc miscorrespondence