Fix indentation level of example in IR design document.