Fix an overzealous check.
Merge pull request #224 from pleroy/CheckFailure

Fix an overzealous check.
Why didn't the linter catch that?
Merge pull request #225 from eggrobin/double-semicolon

Why didn't the linter catch that?