Doc formatting/tweaking.
Remove dead code.