Doc formatting fixes.