Workshop summary: fix all formatting issues