[#80] Fix formatting of source