FWIW, looks like an indentation mishap to me too, but I guess that's a subjective issue.