Style nitpicking : our code convention is that "{" should go on a newline