Make it easier to spot the example. This way it can already be
discovered by scanning the table of contents.