Fix errors in code snippets from section 'Design Goals'.