Correction to documentation