Really small additions to doc