Workshop summary: minor formatting fixes