Update formatting for DESIGN.md.

Fix build bug with new GCC warnings.