Fix formatting of Source #5