(slightly) update documentation.