Fix indentation issue in an example