Oh.  Whoops.  I'm used to 8-space indentation, and must have forgot to reindent after pasting from a different file