Fix formatting for tech spec