Minor: fixed formatting issue.