Merge: typing: Fix minor mistakes in documentation