Cosmetics: fix braces placement.