Fix discrepancy between documentation and actuality