doc: minor formatting fixes