fix doc typo
Merge pull request #8181 from rfourquet/docs-promote_type

fix doc typo