Use monospace in the table of Section 4