This sure is some weird indentation style...