I think we should settle on an indentation policy. There are lines indented with 8 spaces and lines idendented with 4 spaces. I'd be happy with 4!