Semicolons to chase away the lint