Make improvements to the table of contents and the Booleans section