minor style thing: one space before '{'