Fix manual snippets.
More Javadoc style fixes.
Minor formatting.