Code style: should have a blank line before the `if`