doc: minor formatting fixes.