Fix heading levels in section 4.1