Fix several doc problems.