Ben, We seem to have different formatting for source code. Let's agree on a single one so that we don't have to tweak each other's whitespace and that our commits are cleaner.