Tiny coding style fix: replace '){' with ') {'