Fix #6.

Apparently my IDE changed the indentation a bit. We don't use the same coding style (I follow something inspired by the [Google C++ Style Guide](http://google-styleguide.googlecode.com/svn/trunk/cppguide.xml)), so you might want to pretty-print from time to time.