Coding standards: we use braces even for one-line "blocks".