doc: some formatting fixes.