Before revision: Gas Ignite is a common source of explosions in coal mines, which in turn can initiate more extensive coal dust explosions.
After revision: Gas ignition Ignited methane gas is a common source of explosions in coal mines, which in turn can initiate more extensive coal dust explosions.