Looks like the formatting got lost here; these two lines should be indented.