We should really decide if we want to keep this strange "indent with two spaces" comment style ;)