The indentation in the example at the top of the page is wrong.