doc: fixed a minor formatting issue.