minor correction to documentation