Readd format to SUMMARY.md (again)