Correction to doc