Add formatting to David's addition