Some changes to doc on diamond operator