Some minor fixes.

Doc fix, typo fix, menu fix, etc.