Fix some weird formatting issue.