I notice that quite a few source files have mixed tabs and spaces. Since tab stops are not standardised, it's generally a bad idea to use them for indentation.
Any objections if I replace the ones that have crept in? It looks like the convention is 2 spaces for indents.
