Docfix: Doc type adjustment

This type still doesn't type-check, but it is correct in practical
usage.