Code style: should have a blank line after the closing brace.