Another documentation bug.