Another documentation fix