(#7) Fix formatting issue.