Typo fix.
Typo fix.
Missing language.
Missing verb.
Examining fix.
Typecheck.
Fix for pockets.
Better check.
Merge pull request #3749 from Segrain/master

Smallfixes.