Patch results of running Flycheck/Checkdoc.

Here are some patches that come from running Flycheck/Checkdoc, and related fixes.